Language code

Results: 5206



#Item
831Lisp programming language / Functional languages / Model theory / ACL2 / Automated theorem proving / Nqthm / First-order logic / Common Lisp / Lisp / Computing / Software engineering / Computer programming

The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-05-14 09:11:06
832Universal identifiers / Standards organizations / Electronic commerce / GS1 / International Article Number / Global Trade Item Number / Serial shipping container code / Traceability / GS1 Canada / Identification / Identifiers / Barcodes

Speeding your products through the process of shipping and receiving Using GS1 SSCC and GS1 Logistics Label In today’s global business environment, it is more important than ever before to have a common language that

Add to Reading List

Source URL: www.gs1au.org

Language: English - Date: 2013-09-16 02:08:52
833C programming language / International Obfuscated C Code Contest / Word square / Computer programming / Computing / Software engineering

t h e c h a f f e y t h e at r e C i n e m a A d v e r t i s i n g c r e at e s a u n iq u e , h ig h - i m pa ct di g i ta l a d v e r t i s e m e n t to c l e a r ly c o m m u n i c a t e y o u r brand, product or serv

Add to Reading List

Source URL: www.countryarts.org.au

Language: English - Date: 2015-03-25 19:42:28
834Compiler construction / Programming language implementation / Machine code / Smalltalk / Procedural programming languages / Compiler optimizations / Compiler / Static single assignment form / Eval / Software engineering / Computing / Computer programming

Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS–93–7–0

Add to Reading List

Source URL: piumarta.com

Language: English - Date: 2010-11-01 07:37:01
835Data types / Subroutines / Source code / Parameter / Array data type / Variable / C / AS/400 Control Language / Eval / Software engineering / Computing / Computer programming

NLREG DLL Interface Copyright © , Phillip H. Sherrod All Rights Reserved The NLREG Dynamic Link Library (nlreg.dll) is designed to make it easy for production applications to call on NLREG as an “engine” to

Add to Reading List

Source URL: www.nlreg.com

Language: English - Date: 2005-02-17 18:27:21
836Language / Hungarian language / Unicode blocks / Character encoding / Ö / Double acute accent / Ü / Unicode / Letter / Linguistics / Languages of Europe / Typography

Old Hungarian Range: 10C80–10CFF The Unicode Standard, Version 8.0 This file contains an excerpt from the character code tables and list of character names for The Unicode Standard, Version 8.0 Characters in this chart

Add to Reading List

Source URL: www.unicode.org

Language: English - Date: 2015-03-04 15:44:20
837Barcodes / Information / Electronic commerce / Standards organizations / GS1 / Global Trade Item Number / International Article Number / Language Integrated Query / Serial shipping container code / Identification / Identifiers / Universal identifiers

Case Study: Sportzstats Kicking goals with GS1 Australia Former AFL superstar Peter Daicos had a brilliant idea to help young people improve their sporting skills but knew partnering with the right people was critical to

Add to Reading List

Source URL: www.gs1au.org

Language: English - Date: 2012-10-02 04:27:21
838Assembly languages / Source code / Cross-platform software / Procedural programming languages / Programming language implementation / C / Pointer / Macro / IBM Basic assembly language / Computer programming / Software engineering / Computing

MA019−000−00−00 Doc. ver.: 5.18 C166/ST10 v8.7 Cross−Assembler, Linker/Locator, Utilities

Add to Reading List

Source URL: www.tasking.com

Language: English - Date: 2010-03-26 05:30:39
839Subroutines / Procedural programming languages / C++ / Programming language implementation / C / Pointer / Tail call / X86 assembly language / Stack / Software engineering / Computer programming / Computing

Binary Code Extraction and Interface Identification for Security Applications Juan Caballero§† Noah M. Johnson† Stephen McCamant† Dawn Song† † UC Berkeley §Carnegie Mellon University

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
840Standardized tests / English as a foreign or second language / IELTS / Preliminary English Test / Certificate of Proficiency in English / Certificate in Advanced English / Cork / First Certificate in English / Ballincollig / Education / English-language education / Geography of Ireland

Education for New Communities (ENC) METROPOLITAN CORK ENGLISH FOR SPEAKERS OF OTHER LANGUAGES (ESOL) INFORMATION & TIMETABLES Jan-10 Code

Add to Reading List

Source URL: www.corkvec.ie

Language: English - Date: 2010-01-29 09:10:05
UPDATE